De Morgan Triples Revisited
نویسندگان
چکیده
In this paper we overview basic known results about the varieties generated by De Morgan triples and about the problem to find equations defining the variety generated by a concrete De Morgan triple. We also provide some alternative proofs and some new results, specially for the case of Łukasiewicz De Morgan triples.
منابع مشابه
Interval-valued preference structures
Different languages that are offered to model vague preferences are reviewed and an interval-valued language is proposed to resolve a particular difficulty encountered with other languages. It is shown that interval-valued languagesare well definedfor De Morgan triples constructedby continuoustriangular norms, conorms and a strong negation function. A new transitivity condition for vague prefer...
متن کاملA normal form which preserves tautologies and contradictions in a class of fuzzy logics
Most normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve either tautologies or contradictions which are fundamental for automatic theorem provers based on refutation methods. De Morgan implicative systems are triples like the De Morgan system, but considering fuzzy implications instead of t-conorms. These s...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملTriangular norms. Position paper I: basic analytical and algebraic properties
We present the basic analytical and algebraic properties of triangular norms. We discuss continuity as well as the important classes of Archimedean, strict and nilpotent t-norms. Triangular conorms and De Morgan triples are also mentioned. Finally, a brief historical survey on triangular norms is given. Submitted for publication Johannes Kepler Universität Linz Fuzzy Logic Laboratorium Linz-Hag...
متن کامل